{ y = {=} }.( {y : Natural} )
